21. Intelligent computing :
پدیدآورنده : Kohei Arai, Supriya Kapoor, Rahul Bhatia.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computational intelligence, Congresses.,Neural networks (Computer science), Congresses.,Artificial intelligence.,Computational intelligence.,COMPUTERS-- General.,Neural networks (Computer science)
رده :
Q342
22. Leveraging applications of formal methods, verification and validation :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.
رده :
QA76
.
9
.
F67
23. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
24. Perspectives of system informatics :
پدیدآورنده : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programmierung.,Theoretische Informatik.,Wissenstechnik.
25. Proceedings of the European Cognitive Science Conference 2007 /
پدیدآورنده : Stella Vosniadou, Daniel Kayser, Athanassios Protopapas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cognitive science, Congresses.,Psychology, Congresses.,Cognitive science.,Psychology.
رده :
BF311
.
V676
2017
26. Proceedings of the International Conference on Artificial Neural Networks :
پدیدآورنده : ICANN '93. Ed. by Stan Gielen ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
27. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
28. Sociology matters /
پدیدآورنده : Richard T. Schaefer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cultural relations.,Social stratification.,Sociology.,Cultural relations.,Social stratification.,Sociology.
رده :
HM447
.
S33
2014
29. Text, speech, and dialogue :
پدیدآورنده : Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)
رده :
QA76
.
9
.
N38
30. <The> handbook of computational linguistics and natural language processing
پدیدآورنده : \ edited by Alexander Clark, Chris Fox, and Shalom Lappin.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational linguistics,Natural language processig (computer science),زبان‌شناسی کامپیوتری,پردازش زبان طبیعی,a03,a04,a03,a04
رده :
P
98
.
H32
2010
E-Book
,
31. The innovation in computing companion :
پدیدآورنده : Gerard O'Regan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
رده :
QA76
.
5
.
O74
2018
32. The semantic web -- ISWC 2018 :
پدیدآورنده : Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
33. There's something about Gödel :
پدیدآورنده : Francesco Berto
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
34. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
35. Turkish natural language processing /
پدیدآورنده : Kemal Oflazer, Murat Saraçlar, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Natural language processing (Computer science),Turkish language-- Translating.,Turkish language.,Artificial intelligence.,Computational linguistics.,COMPUTERS-- General.,Imaging systems & technology.,Natural language & machine translation.,Natural language processing (Computer science),Turkish language-- Translating.,Turkish language.
رده :
QA76
.
9
.
N38
